Unification function

Synonyms for "unification function" (7 found)

Ranked by relevance and common usage.

Closest matches (2)

Strong matches (2)

Noun(2 words)

Related words (3)

Noun(3 words)
substitution toolterm matcherunifier

Related word relations

OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.

5 relation types

More general

5 entries

More specific

7 entries
concept unificationdata unificationoccurs checkrecord unificationterm substitutionterm unificationvariable binding

Collocations

5 entries
data unificationlogic unificationrecord unificationterm unificationunification algorithm

Inflections

1 entries
unification functions

Derivations

5 entries